$\forall$$A$, $B$:Realizer. R{-}icompat(Rinterface($A$);Rinterface($B$)) $\Rightarrow$ R{-}icompat($A$;$B$)